Hilbert空间中次连续拟非扩张映像不动点的迭代方法

首次引用一种迭代算法，用来构造Hilbert空间中次连续拟非扩张映像的不动点；使用新的算法证明了一个强收敛定理，其优点是不要求映像具有次闭性质。     

风场的科学计算可视化在导弹射击中的应用

在导弹射击时,消除风会对导弹飞行造成不利的影响,因此基于可视化分析的研究模型、流程等,利用科学计算方法直观分析优点对风的大小和方向进行分析,并采用开放图形接口对实验风场数据进行了三维图形绘制以提高导弹打击目标的精度,对实际中导弹的风场阻力研究有一定的指导意义.     

国内装备采购研究现状与趋势研究——基于CiteSpace知识图谱软件的可视化分析

本文利用CiteSpace知识图谱分析和可视化工具,从时间分布、期刊来源和作者机构等方面对CNKI中文期刊全文数据库2001年1月1日至2020年6月30日间收录的以"装备采购"为关键词的642篇学术论文及文献进行数据可视化分析,并通过关键词词频共现分析对该领域的高频关键词进行了词频统计。在利用CiteSpace软件对"装备采购"相关文献进行统计分析后,详细论述了装备采购研究的发展趋势,并总结出目前军队装备采购研究的现状与不足,如军队内部科研力量作为装备采购领域研究的核心组成部分,相互间缺乏交流研究;装备采购领域研究方向多元,但基础理论、概念研究不够深入等。在此基础上梳理出优化后期装备采购领域研究发展的建议,以期为完善军队装备采购领域的研究工作提供一定参考。     

Hilbert空间中Lipschitz拟伪压缩映像公共不动点的杂交投影算法

给出了Hilbert空间中Lipschitz拟伪压缩映像族公共不动点的一个投影算法，并利用所给出的算法证明了一个强收敛定理，扩展了参考文献[1]的结果。     

一种优化神经网络映射算法——吸收算法

本文揭示了神经计算的本质──并行分布处理,并以此为基础提出了时间步的概念。分析了映射算法的两个重要概念──负载均衡和通讯开销,并提出了映射分配准则。在神经网络的映射分配中引入图论的有关思想,提出了一种优化的神经网络映射算法──吸收算法。最后给出了重要的试验结果,这些数据表明吸收算法是一种有效的映射算法。     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

A—紧1—集压缩映象场的广义度理论

定义了A-紧1-集压缩映象场的广义度,扩展了1984年张庆雍建立的半紧1-集压缩映射的不动点指数理论。     

微机控制系统中的信息交换技术探讨

说明了在DOS环境下如何利用内存直接映像技术在微机控制系统中实现信息交换.介绍了双端口数据存储器的使用;提供了解决在对数据交换的实时性要求较高的控制系统中如何进行数据交换这一问题的方法和思路.     

谈算法研究

算法是计算机程序设计的核心。本文结合实际应用,通过研究算法所取得的成效,说明算法研究的必要性和重要作用。     

一种基于统计参数映射融合独立成分分析的新的激活区探测方法

统计参数映射在某种程度上依赖于广义线性模型和高斯场理论。广义线性模型的缺陷在于这些假设不能很好地表示fMRI数据,并且脑活动分布模式和血液动力学模型也不能由广义线性模型回归方程来恰如其分地模拟。而独立成分分析不能够提供每一独立成分激活区的显著性估计,这使得实验者不能够很好地解释所获得的结果。提出一种将SPM和ICA技术进行融合的方法,此方法可以将ICA自身的某些优势和GLM的假设检验方法结合起来,互相取长补短。实验结果证明了这种方法在探测由运动任务所产生的激活区方面是有效的。